Natural factors of the Muchnik lattice capturing IPC
نویسنده
چکیده
We give natural examples of factors of the Muchnik lattice which capture intuitionistic propositional logic (IPC), arising from the concepts of lowness, 1-genericity, hyperimmune-freeness and computable traceability. This provides a purely computational semantics for IPC.
منابع مشابه
Natural factors of the Medvedev lattice capturing IPC
Skvortsova showed that there is a factor of the Medvedev lattice which captures intuitionistic propositional logic (IPC). However, her factor is unnatural in the sense that it is constructed in an ad hoc manner. We present a more natural example of such a factor. We also show that the theory of every non-trivial factor of the Medvedev lattice is contained in Jankov’s logic, the deductive closur...
متن کاملAn extension of the recursively enumerable Turing degrees
We embed the upper semilattice of r.e. Turing degrees into a slightly larger structure which is better behaved and more foundationally relevant. For P,Q ⊆ 2, we say P is Muchnik reducible to Q if for all Y ∈ Q there exists X ∈ P such that X is Turing reducible to Y . We let Pw denote the lattice of Muchnik degrees of nonempty Π1 subsets of 2. Pw is a countable distributive lattice with 0 and 1....
متن کاملThe First Order Theories of the Medvedev and Muchnik Lattices
We show that the first order theories of the Medevdev lattice and the Muchnik lattice are both computably isomorphic to the third order theory of the natural numbers.
متن کاملMass Problems
Informally, mass problems are similar to decision problems. The difference is that, while a decision problem has only one solution, a mass problem is allowed to have more than one solution. Many concepts which apply to decision problems apply equally well to mass problems. For instance, a mass problem is said to be solvable if it has at least one computable solution. Also, one mass problem is s...
متن کاملRecent Aspects of Mass Problems: Symbolic Dynamics and Intuitionism
Mass Problems: A set P ⊆ {0,1} may be viewed as a mass problem, i.e., a decision problem with more than one solution. By definition, the solutions of P are the elements of P . A mass problem is said to be solvable if at least one of its solutions is recursive. A mass problem P is said to be Muchnik reducible to a mass problem Q if for each solution of Q there exists a solution of P which is Tur...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 164 شماره
صفحات -
تاریخ انتشار 2013